Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
231	Code and Format Changes in Libraries Australia Cataloguing Services that relate to Resource Description and Access (RDA)    Add to Reading List Source URL: www.nla.gov.au Language: English - Date: 2012-07-29 22:48:59 Procedural programming languages Data types Library automation Library of Congress MARC standards Metadata publishing C HTML element Set Computing Library science Information
232	Address Verification, Correction and ZIP+4 API User ’ sGui de The Software Company, Inc. Add to Reading List Source URL: www.softwarecompany.com Language: English - Date: 2015-01-12 19:13:10 Formal languages Data types Primitive types Cross-platform software JavaScript United States Postal Service String ZIP code Constructor Software engineering Computing Computer programming
233	Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002 © 2002 Society for Design and Process Science STATIC SOURCE CODE CHECKING FOR USER-DEFINED PROPERTIES Gerard J. Hol Add to Reading List Source URL: www.spinroot.com Language: English - Date: 2008-06-30 15:34:28 Data types C++ Procedural programming languages Pointer C Variable Dataflow Reference ALGOL 68 Software engineering Computing Computer programming
234	LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning, and Yang Meng Tan Abstract This paper describes LCLint, an efficient and flexible tool that accepts as input programs (writt Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 1999-12-09 17:40:10 C++ Procedural programming languages Data types Type theory C programming language ALGOL 68 Typedef D Nm Computing Software engineering Computer programming
235	Wikibooks.org C Programming On the 28th of April 2012 the contents of the English as well as German Wikibooks and Wikipedia projects were licensed under Creative Commons Attribution-ShareAlike 3.0 Unported Add to Reading List Source URL: upload.wikimedia.org Language: English - Date: 2013-10-06 22:37:12 C++ C programming language Procedural programming languages Data types Cross-platform software C Pointer Reference Sizeof Software engineering Computer programming Computing
236	Programming and Reasoning with Side-Effects in I DRIS Edwin Brady 19th October 2014 Contents 1 Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2014-10-26 14:43:36 Functional programming Procedural programming languages B-tree Data types Type theory ALGOL 68 Monad Polymorphism C++ classes Software engineering Computing Computer programming
237	Dynamic, Recursive, Heterogeneous Types in Statically-Typed Languages A Presentation (20, 45 or 90 minute) for Intermediate to Advanced C++ Developers Richard T. Saunders Clint Jeffery Add to Reading List Source URL: cppnow.org Language: English - Date: 2013-12-26 16:51:22 Cross-platform software Procedural programming languages C++ Scripting languages Data types Python syntax and semantics Python C++11 Type system Software engineering Computing Computer programming
238	Clean Code: Writing Code for Humans by Cory House Email: [removed] \| Blog: bitnative.com \| Twitter: @housecor Full 3 hour Pluralsight Course and Slides: pluralsight.com/author/cory-house Please do me a favor and Add to Reading List Source URL: www.bitnative.com Language: English - Date: 2015-02-26 19:17:07 Data types Type theory Scripting languages Code refactoring Extreme programming Type system Variable Self JavaScript Software engineering Computing Programming language theory
239	Programming and Reasoning with Algebraic Effects and Dependent Types Edwin C. Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-03-29 05:54:16 Functional programming Control flow Procedural programming languages Subroutines Recursion Monad Eval Type system List comprehension Computing Software engineering Computer programming
240	Extracted from: The VimL Primer Edit Like a Pro with Vim Plugins and Scripts This PDF file contains pages extracted from The VimL Primer, published by the Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2015-01-13 12:15:57 Subroutines Scripting languages Data types Source code Control flow Eval Function Parameter Free variables and bound variables Computing Software engineering Computer programming

UPDATE